$\forall$$p$:(IdLnk List). lpath($p$) $\in$ $\mathbb{P}$